\begin{thebibliography}{99}
\bibitem{compiler}
Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jefferey Ullman.
\textit{Compilers: Principles, Techniques, \& Tools Second Edition.} Pearson Education,Inc. 
2006.

\bibitem{wikipedia}
\textit{Wikipedia}. http://it.wikipedia.org

\bibitem{fwj}
Atsushi Igarashi, Benjamin Pierce, Philip Wadler.
\textit{Featherweight Java: a minimal Core Calculus for Java and GJ.} Acm - transaction.
January 23, 2002.

\bibitem{lambda}
H. P. Barendregt.\textit{The Lambda Calculus}. North Holland, revised edition, 1984.

\bibitem{ml}
 Robin Milner, Mads Tofte, Robert Harper. \textit{The Definition of Standard ML}., MIT Press 1990. ISBN 0-262-63181-4

\bibitem{ocaml}
Jason Hickey. \textit{Introduction to the Objective Caml Programming Language}.
http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf 

\bibitem{lisp}
Peter Seibel. \textit{Pratical Common Lisp}. Apress. Apr 2005

\bibitem{haskell}
The Haskell' Wiki. \textit{Welcome to Haskell}. http://hackage.haskell.org/trac/haskell-prime.

\bibitem{tail}
Andrzej Filinski. \textit{Recursion from iteration}, Springer Netherlands. Volume 7, Number 1 / January, 1994. pages 11-37

\bibitem{jvm}
T. Lindholm, F. Yellin. \textit{The Java Virtual Machine Specification.} 
Addison-Wesley, 1999. http://java.sun.com/
docs/books/vmspec/2nd-edition/html/
VMSpecTOC.doc.html

\bibitem{caml}
INRIA. \textit{The Caml Language.} http://caml.inria.fr/

\bibitem{java}
Herbert Schild. \textit{Java: settima edizione. La guida completa}. The McGraw-Hill Companies. 2007

\bibitem{carbon}
Luca Padovani. \textit{Carbon: language and compiler specification, draft}. 2006.
http://home.gna.org/carbon/spec.ps.gz

\end{thebibliography}